naval district - German English Dictionary